Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt Eli Barzilay Robert Bruce Findler

Source URL: www.cs.utah.edu

• Functional languages
• Lisp programming language
• String
• Racket
• Technical communication
• Scheme
• Here document
• Literate programming
• Eval
• Computing
• Software engineering
• Computer programming

Doctrine for Cybersecurity∗ Deirdre K. Mulligan† Fred B. Schneider‡ May 15, 2011

Source URL: www.cs.cornell.edu

• Hacking
• National security
• Computer network security
• Crime prevention
• Secure communication
• Federal Information Security Management Act
• Vulnerability
• National Cyber Security Division
• U.S. Department of Defense Strategy for Operating in Cyberspace
• Security
• Computer security
• Cyberwarfare

CALEA  II:  Risks  of  Wiretap  Modifications  to  Endpoints   Ben  Adida   Collin  Anderson   Annie  I.  Anton  (Georgia  Institute  of  Technology)   Matt  Bl

Source URL: www.cs.cornell.edu

• Videotelephony
• Surveillance
• Privacy of telecommunications
• Privacy law
• Communications Assistance for Law Enforcement Act
• Mass surveillance
• Telephone tapping
• Skype
• Secure communication
• Software
• Voice over IP
• Espionage

CRMA: Collision-Resistant Multiple Access Tianji Li1,2 Mi Kyung Han1 Apurv Bhartia1 Lili Qiu1 Eric Rozner1 Yin Zhang1 Brad Zarikoff2 The University of Texas at Austin1 , National University of Ireland Maynooth2 {tianji,h

Source URL: www.cs.utexas.edu

• Telecommunications engineering
• Orthogonal frequency-division multiplexing
• Code division multiple access
• Cyclic prefix
• Carrier sense multiple access
• Modulation
• MIMO
• Communication
• IEEE 802.11
• OSI protocols
• Radio resource management
• Multiplexing

SJNW256-06-NO00001492.tex

Source URL: www.cs.cornell.edu

• Inter-process communication
• Distributed computing
• Infinite loop
• Fault-tolerant computer systems
• Message passing
• Function
• Byzantine fault tolerance
• State machine replication
• Computing
• Computer programming
• Concurrent computing

Science of Computer Programming ELSEVIER Science of Computer

Source URL: www.cs.cornell.edu

• Message passing
• Distributed algorithms
• Inter-process communication
• Vector clock

Thrifty execution of task pipelines

Source URL: www.cs.cornell.edu

• Computer programming
• Programming paradigms
• Pipeline
• Scheduling
• Parallel computing
• Concurrent computing
• Inter-process communication
• Computing

Formal Methods in System Design, 26, 183–196, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands.
Automated Analysis of Fault-Tolerance in Distributed Systems∗

Source URL: www.cs.cornell.edu

• Inter-process communication
• Distributed computing
• Infinite loop
• Fault-tolerant computer systems
• Message passing
• Function
• Byzantine fault tolerance
• State machine replication
• Computing
• Computer programming
• Concurrent computing

Why are Security Protocols Hard? Attacker chooses pattern of communication Attacker may also be a player May hold keys Will misuse them Attackers manipulate honest players

Source URL: www.cs.nyu.edu

On the (Im)possibility of Non-interactive Correlation Distillation Ke Yang Computer Science Department, Carnegie Mellon University, 5000 Forbes Ave. Pittsburgh, PA 15213, USA; [removed] December 8, 2003

Source URL: www.cs.cmu.edu

• Linear algebra
• Matrix theory
• Singular value decomposition
• Information Age
• Information theory
• Eigenvalues and eigenvectors
• Entropy
• Quantum teleportation
• One-Shot Entanglement-Enhanced Classical Communication
• Algebra
• Mathematics
• Quantum information science